A => (E => B)